Specification, verification, and synthesis of concurrency control components

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A model for specification, composition and verification of access control policies and its application to web services

Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...

متن کامل

Specification, Verification and Synthesis for Automata Problems

We present and evaluate techniques for specification, verification, and synthesis of solutions to automata theory problems. We show how these techniques can be useful for aspects of an intelligent tutoring system such as checking of solutions, problemand solutiongeneration. We focus on two classical problems: constructing DFAs of regular languages, and proving non-regularity of non-regular lang...

متن کامل

effect of seed priming and irrigation regimes on yield,yield components and quality of safflowers cultivars

این مطالعه در سال 1386-87 در آزمایشگاه و مزرعه پژوهشی دانشگاه صنعتی اصفهان به منظور تعیین مناسب ترین تیمار بذری و ارزیابی اثر پرایمینگ بر روی سه رقم گلرنگ تحت سه رژیم آبیاری انجام گرفت. برخی از مطالعات اثرات سودمند پرایمینگ بذر را بر روی گیاهان مختلف بررسی کرده اند اما در حال حاضر اطلاعات کمی در مورد خصوصیات مربوط به جوانه زنی، مراحل نموی، عملکرد و خصوصیات کمی و کیفی بذور تیمار شده ژنوتیپ های م...

Web Service Choreography Verification Using Z Formal Specification

Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...

متن کامل

synthesis of sulfides from alcohols and thiols in solvent-freeconditions and deoxygenation of sulfoxides

کاتالیست یک سنتز جدید برای تیواترها توصیف شده است. واکنش الکل ها با آریل، هتروآریل و آلکیل تیو ل ها درحضور 1،3،5- تری آزو- 2،4،6- تری فسفرین-2،2،4،4،6،6 هگزاکلراید ((tapc به عنوان یک کاتالیست موُثر، بازده های خوب تا عالی از تیواترها را حاصل می کند. علاوه براین، واکنش تحت شرایط بدون فلز و بدون حلال پیش می رود، بنابراین یک مکمل جالب برای روش های شناخته شده سنتز تیواترها ارائه می دهد. یک مکانیسم ا...

15 صفحه اول

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ACM SIGSOFT Software Engineering Notes

سال: 2002

ISSN: 0163-5948

DOI: 10.1145/566171.566199